burr (e.g. on a machined edge)